Symbolic Composition within the Moebius Framework

An Extension of Moebius--Lie Geometry with Conformal Ensembles of Cycles and Its Implementation in a GiNaC Library

This library manipulates ensembles of cycles (quadrics), which are interrelated through certain geometric relations (to be orthogonal, to be tangent, etc.). The code operates with numeric and symbolic data of cycles in spaces of arbitrary dimensionality and metrics with any signatures. In the two-dimensional case illustrations and animations can be produced.

The Status of Allegory and Symbolic Language in Quranic Stories: A Review and Critique of the Theory of Fantasization

One of the common views in contemporary Quranic research is the dialog on the existence of allegory and symbolic language in the Quran and Quranic stories. Citing such arguments as the common literary style between the Quranic stories and human stories, the use of symbols with specific modes of expression in the Quran and the cases in which the Divine intent is expressed through questions and a...

The Symbolic Language of Eikaya as the “Interpretative Miraj” of the Soul within its Existential Drama

A Symbolic Model Checking Framework for Hierarchical Systems

BDD-based symbolic model checking is capable of verifying systems with a large number of states. In this work, we report an extensible framework to facilitate symbolic encoding and checking of hierarchical systems. Firstly, a novel library of symbolic encoding functions for compositional operators (e.g., parallel composition, sequential composition, choice operator, etc.) are developed so that ...

Evaluation of Corporate Governance Practices in Emerging Markets (A case study of Nigerian Banking Industry)

This study explores corporate governance practices within the context of the Nigerian banking industry using instances of corporate governance lapses that resulted in part to the Nigerian banking crises. We present multiple case analysis of publicly available documents and court papers (in the United Kingdom and Nigeria) to document instances of breach and areas of weakness in the existing Nige...